La volonté balzacienne comme donnée formelle de La Comédie humaine

Une approche formelle de la reconfiguration dynamique

RÉSUMÉ. Les applications auto-adaptables modifient leur comportement de façon dynamique et autonome par le biais d’opérations d’introspection, de recomposition, d’ajout et suppression de composants, dans le but de s’adapter aux changements pouvant survenir dans leur contexte d’exécution. Un des moyens de favoriser leur robustesse est de disposer d’un support formel permettant de modéliser ces a...

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Les mathématiques de la langue : l'approche formelle de Montague

Nous présentons une méthode de modélisation de la langue naturelle qui est fortement basée sur les mathématiques. Cette méthode, appelée «sémantique formelle», a été initiée par le linguiste américain Richard M. Montague dans les années 1970. Elle utilise des outils mathématiques tels que les langages et grammaires formels, la logique du 1er ordre, la théorie de types et le λ-calcul. Nous nous ...

Apport des examens biochimiques dans le diagnostic de la phase nerveuse de la trypanosomose humaine

The stage of human African trypanosomiasis (HAT) is important to define precisely as far as it is directly related to the type of treatment used. The beginning of the neurological involvement is dif ficult to find out because there is no known specific clinical or biological sign. This study is trying to look for a precise marker and has been realized in Congo. 70 subjects with parasitologicall...

La donnée est-elle soluble dans la mobiquité ?

Business process models have gained significant importance due to their critical role for managing business processes. Still, process models display a wide range of quality problems. For example, literature reports on error rates between 10% and 20% in industrial process model collections. Most research in the context of quality issues in process models puts a strong emphasis on the product or ...